input{-}dcdr\{i:l\}(${\it es}$; ${\it Cmd}$; ${\it Sys}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{decidable\_\_input:ObjectId, 1:l, i:l\}(${\it es}$,${\it Cmd}$,${\it Sys}$)